#include <stdio.h>
#include <string.h>

char dict[27][8] = {
	"2", "22", "222",
	"3", "33", "333",
	"4", "44", "444",
	"5", "55", "555",
	"6", "66", "666",
	"7", "77", "777", "7777",
	"8", "88", "888",
	"9", "99", "999", "9999",
	"0"
};

unsigned int tran(char ch) {
	if (ch == ' ') return 26;
	else return ch - 97;
}

int main(int argc, char *argv[])
{
	unsigned int n, i, case_num = 1;
	char str[1024], ch;
	scanf("%d", &n);
	gets(str);

	while (n--) {
		gets(str);

		printf("Case #%d: ", case_num);
		ch = '@';
		for (i=0; i<strlen(str); i++) {
			if (dict[tran(str[i])][0] == dict[tran(ch)][0]) {
				printf(" ");
			}
			printf("%s", dict[tran(str[i])]);
			ch = str[i];
		}

		printf("\n");
		case_num++;
	}

	return 0;
}
